Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Arnaud LANOIX

ENSEIGNANT-CHERCHEUR



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] M. Aouadhi, B. Delahaye, A. Lanoix. Introducing Probabilistic Reasoning within Event-B. In Software and Systems Modeling ; éd. Springer Verlag, 2019.
      https://hal.science/hal-01610778v1
    • [2] P. Andre, C. Attiogbé, A. Lanoix. A tool-assisted method for the systematic construction of critical embedded systems using Event-B. In Computer Science and Information Systems ; éd. ComSIS Consortium, 2019, vol. 17, num. 1.
      https://hal.science/hal-02468473v1
    • [3] D. Sferruzza, J. Rocheteau, C. Attiogbé, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. In Model-Driven Engineering and Software Development ; éd. Springer, 2019.
      https://hal.science/hal-02075980v1
    • [4] P. Andre, G. Ardourel, C. Attiogbé, A. Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. In Electronic Notes in Theoretical Computer Science ; éd. Elsevier, 2010, vol. 263.
      https://hal.science/hal-00505336v1
    • [5] A. Lanoix, J. Souquières. Trustworthy Assembly of Components using B Refinement. In e-Informatica Software Engineering Journal (ISEJ), vol. 2, num. 1. 2008
      https://hal.science/hal-00123997v2

Revues nationales avec comité de lecture (ART_NAT)

    • [6] A. Lanoix, S. Colin, J. Souquières. Développement formel par composants : assemblage et vérification à l'aide de B. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques ; éd. Lavoisier, 2008, vol. 27, num. 8.
      https://hal.science/hal-00180972v1

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [7] D. Sferruzza, J. Rocheteau, C. Attiogbe, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. In Model-Driven Engineering and Software Development - 6th International Conference, (MODELSWARD) 2018 - revised selected papers, janvier 2018, Funchal, Portugal.
      https://hal.science/hal-02010874v1
    • [8] D. Sferruzza, J. Rocheteau, C. Attiogbe, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. In MODELSWARD, janvier 2018, Funchal, Portugal.
      https://hal.science/hal-01654287v3
    • [9] D. Sferruzza, J. Rocheteau, C. Attiogbé, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services in Practice. In 17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2018, Grenoble, France.
      https://hal.science/hal-02009658v1
    • [10] D. Sferruzza, J. Rocheteau, C. Attiogbé, A. Lanoix. Extending OpenAPI 3.0 to Build Web Services from their Specification. In International Conference on Web Information Systems and Technologies, septembre 2018, Seville, Espagne.
      https://hal.science/hal-01868498v1
    • [11] P. Andre, C. Attiogbé, A. Lanoix. Systematic Construction of Critical Embedded Systems Using Event-B. In New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, octobre 2018, Marrakesh, Maroc.
      https://hal.science/hal-01929259v1
    • [12] S. Aouadi, A. Lanoix. Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. In New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, octobre 2018, Marrakesh, Maroc.
      https://hal.science/hal-01916059v1
    • [13] M. Aouadhi, B. Delahaye, A. Lanoix. Moving from Event-B to Probabilistic Event-B. In 32nd ACM SIGAPP Symposium On Applied Computing, avril 2017, Marrakech, Maroc.
      https://hal.science/hal-01590903v1
    • [14] A. Lanoix, J. Dormoy, O. Kouchnarenko. Combining Proof and Model-checking to Validate Reconfigurable Architectures. In FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 2015, Saarbrücken, Allemagne.
      https://hal.science/hal-01222542v1
    • [15] A. Lanoix, O. Kouchnarenko. Component Substitution through Dynamic Reconfigurations. In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, avril 2014, Grenoble, France.
      https://hal.science/hal-00935129v1
    • [16] A. Lanoix, O. Kouchnarenko, S. Colin, V. Poirriez. Relaxing B Sharing Restrictions within CSP||B. In International Conference on Software Composition 2012, mai 2012, Prague, République tchèque.
      https://hal.science/hal-00699997v1
    • [17] J. Dormoy, O. Kouchnarenko, A. Lanoix. Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. In 18th International Symposium on Formal Methods (FM 2012), août 2012, Paris, France.
      https://hal.science/hal-00700007v1
    • [18] A. Lanoix, J. Dormoy, O. Kouchnarenko. Combining Proof and Model-checking to Validate Reconfigurable Architectures. In 8th International Workshop on Formal Engineering approaches to Software Components and Architectures - FESCA 2011, joint to ETAPS 2011, avril 2011, Saarbrucken, Allemagne.
      https://inria.hal.science/hal-00642348v1
    • [19] J. Dormoy, O. Kouchnarenko, A. Lanoix. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. In 8th International Symposium on Formal Aspects of Component Software - FACS 2011, septembre 2011, Oslo, Norvège.
      https://inria.hal.science/hal-00642345v1
    • [20] O. Simonin, A. Lanoix, A. Scheuer, F. Charpillet. Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning. In V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, novembre 2011, , France.
      https://hal.science/hal-00663353v1
    • [21] J. Dormoy, O. Kouchnarenko, A. Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. In FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, , Portugal.
      https://hal.science/hal-00662875v1
    • [22] P. André, G. Ardourel, C. Attiogbe, A. Lanoix. Contract-based Verification of Kmelia Component Assemblies using Event-B. In FESCA @ Etaps2010, mars 2010, Paphos, Grèce.
      https://hal.science/hal-00483755v1
    • [23] J. Dormoy, O. Kouchnarenko, A. Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. In 7th International Workshop on Formal Aspects of Component Software - FACS'2010, octobre 2010, Guimaraes, Portugal.
      https://inria.hal.science/inria-00541613v1
    • [24] P. Andre, G. Ardourel, C. Attiogbe, A. Lanoix. Using Event-B to Verify the Kmelia Components and Their Assemblies. In ABZ'2010, février 2010, Oreford, Canada.In Springer (éds.), . Springer, 2010.
      https://hal.science/hal-00483236v1
    • [25] P. Andre, G. Ardourel, C. Attiogbé, A. Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. In 6th International Workshop on Formal Aspects of Component Software (FACS 2009), octobre 2009, Eindhoven, Pays-Bas.
      https://hal.science/hal-00423672v1
    • [26] A. Lanoix. Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. In 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), juin 2008, , France.
      https://hal.science/hal-00260577v1
    • [27] S. Colin, A. Lanoix, O. Kouchnarenko, J. Souquières. Using CSP||B Components: Application to a Platoon of Vehicles. In 13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), septembre 2008, , Italie.
      https://hal.science/hal-00286431v1
    • [28] S. Colin, A. Lanoix, O. Kouchnarenko, J. Souquières. Towards Validating a Platoon of Cristal Vehicles using CSP||B. In 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), juillet 2008, , France.In Springer (éds.), 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008). , 2008.
      https://hal.science/hal-00261630v1
    • [29] A. Lanoix, D. Hatebur, M. Heisel, J. Souquières. Enhancing Dependability of Component-based Systems. In Reliable Software Technologies Ada-Europe 2007, 2007, Genève, Suisse.
      https://hal.science/hal-00123999v1
    • [30] S. Colin, A. Lanoix, J. Souquières. Trustworthy interface compliancy: data model adaptation using B refinement. In Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, mars 2007, Braga, Portugal.
      https://hal.science/hal-00123884v2
    • [31] O. Kouchnarenko, A. Lanoix. How to Verify and Exploit a Refinement of Component-based Systems. In Sixth International Andrei Ershov Memorial Conference Perspectives Of System Informatics (PSI'06), 2006, Novosibirsk, Akademgorodok, Russia, France.
      https://inria.hal.science/inria-00110527v1
    • [32] I. Mouakher, A. Lanoix, J. Souquières. Component Adaptation: Specification and Verification. In 11th International Workshop on Component Oriented Programming - WCOP 2006, juillet 2006, Nantes, France.
      https://inria.hal.science/inria-00074477v1
    • [33] A. Lanoix, D. Okalas Ossami, J. Souquières. An Operator-based Approach to Incremental Development of Conform Protocol State Machines. In Trustworthy Software 2006, mai 2006, Saarbrücken, Allemagne.In Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper (éds.), . Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), 2006.
      https://inria.hal.science/inria-00001263v1

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [34] M. Aouadhi, B. Delahaye, A. Lanoix. Une extension probabiliste pour Event-B. In 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2017, Montpellier, France.
      https://hal.science/hal-01685126v1
    • [35] A. Lanoix, S. Colin, J. Souquières. Schémas de développement d'adaptateurs à l'aide de B. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), juin 2007, Namur, Belgique.In Marie-Laure Potet and Pierre-Yves Schobbens and Hubert Toussaint and Germain Saval (éds.), Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07). , 2007.
      https://hal.science/hal-00131340v1

Theses et HDR (THESE)

    • [36] A. Lanoix. Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés. Thèses : Université de Franche-Comté.
      https://theses.hal.science/tel-00011649v1

Autres publications (AUTRES)

    • [37] A. Lanoix Brauer, E. Desmontils. UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet. In Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique.In Mens, Kim (éds.), . , 2024.
      https://hal.science/hal-04482134v2
    • [38] M. Aouadhi, B. Delahaye, A. Lanoix. A Fully Probabilistic Extension of Event-B. Rapport technique, 2016 ; LINA-University of Nantes.
      https://hal.science/hal-01255753v1
    • [39] M. Aouadhi, B. Delahaye, A. Lanoix. Moving from Event-B to probabilistic Event-B. Rapport technique, 2016 ; LINA-University of Nantes.
      https://hal.science/hal-01316610v2
    • [45] S. Chouali, S. Colin, A. Hammad, O. Kouchnarenko, A. Lanoix, H. Mountassir, J. Souquières. Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0.
      https://hal.science/hal-00181250v1
    • [46] O. Simonin, A. Lanoix, S. Colin, A. Scheuer, F. Charpillet. Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems. Rapport technique, 2007 ; INRIA.
      https://inria.hal.science/inria-00173876v2
Copyright : LS2N 2017 - Mentions Légales - 
 -